Concolic testing

#	Item
51	PDF Document Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-03-26 13:14:14 Klee Constraint programming Programming language implementation Symbolic execution Code coverage Assembly language E Concolic testing Software engineering Software testing Bauhaus
52	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-03-28 16:58:30 Programming language implementation Compiler construction Fuzz testing Parsing Symbolic execution Concolic testing Lexical analysis Model-based testing Lex Software testing Computing Software engineering
53	PDF Document Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2008-01-04 09:06:40 Programming language implementation Computer programming Constraint programming Hardware verification languages Model-based testing Concolic testing Test Data Generation Compiler optimization Algorithm Computing Software engineering Software testing
54	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-05 17:25:15 Software quality Fuzz testing Symbolic execution Software bug Sage Constraint programming Security bug Vulnerability Concolic testing Software testing Software engineering Computing